#!/bin/bash

set -x

BSP_DIR=$1

spike $SPIKE_OPTIONS --dump-dts /dev/null > $BSP_DIR/design.dts
